Plaisted David A. | Buy Cheap Textbooks about Plaisted David A.

Cart Sellback List Order Lookup Support

Your results for: Plaisted David A.

Showing 1 - 3 of 3 Results

1.

Efficiency of Theorem Proving Strategies A Comparative and Asymptotic Analysis

Efficiency of Theorem Proving Strategies A Comparative and Asymptotic Analysis by Plaisted, David A., Zhu, Yu... ISBN: 9783528155742 List Price: $39.95

$30.55 (Save 23%)

2.

The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computa...

The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computa... by Plaisted, David A. ISBN: 9783528055745 List Price: $36.00

OUT OF STOCK

See Availability on Amazon

3.

Efficiency of Theorem Proving Strategies

Efficiency of Theorem Proving Strategies by Plaisted, David A., Zhu, Yu... ISBN: 9783663078487 List Price: $24.99

OUT OF STOCK

See Availability on Amazon